<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <title>package alloy.gui</title>
  </head>

  <body>
    The primary GUI for Alloy.  Written by Jesse Pavel {@link mailto:jpavel@alum.mit.edu}.

    <hr>
    <address><a href="mailto:ilya_shl@mit.edu"></a></address>
<!-- Created: Sat Jun 15 21:24:04 Eastern Daylight Time 2002 -->
<!-- hhmts start -->
Last modified: Sat Jun 15 21:24:46 Eastern Daylight Time 2002
<!-- hhmts end -->
  </body>
</html>
